Nuprl Definition : rtag
0,22
postcript
pdf
rtag(
info
;
e
) == Case
info
(
e
) of inl(
p
)
; inr(
q
)
2of(
q
)
latex
Definitions
2of(
t
)
,
,
rtag(
info
;
e
)
FDL editor aliases
rtag
origin
; inr(q) 2of(q) ; inr(q) 2of(q)